#include <vxl_config.h>
#include <vgui/vgui_range_map.hxx>
VGUI_RANGE_MAP_INSTANTIATE(vxl_uint_16);
